function timeline() {
    var myChart = echarts.init(document.getElementById('time_line'));
    var months = ['1月', '2月', '3月', '4月', '5月', '6月', '7月', '8月', '9月', '10月', '11月', '12月'];
    
    var option = {
        timeline: {
            axisType: 'category',
            autoPlay: true,  // 自动播放
            playInterval: time_interval,  // 播放间隔
            data: months,
            controlStyle: {
                show: false
            },
            left: '5%',
            right: '5%',
            tooltip: {  // 添加工具提示
                trigger: 'item',
                formatter: function (params) {
                    return params.name;  // 显示月份名称
                }
            },
        },
    };
    
    myChart.setOption(option);

    // 添加时间线切换的事件监听器
    myChart.on('timelinechanged', function (event) {
        var selectedIndex = event.currentIndex;  // 获取用户选择的月份索引
        month_index = selectedIndex;  // 根据索引更新月份，注意索引从0开始
        updateMap();  // 调用更新地图的函数，使用更新后的 month_index
    });

    // 自动播放时每次切换时间的事件监听器
    myChart.on('timelineplaychanged', function (event) {
        var selectedIndex = event.currentIndex;
        month_index = selectedIndex + 1;
        updateMap();
    });

    function updateMap() {
        // 这里你需要调用重新渲染地图的代码，如 tree_chart(), map_chart() 等
        tree_chart();  // 假设 tree_chart 使用了 month_index 进行数据更新
    }
}
